Type Safety of Equation-Based Object-Oriented Modeling Languages
نویسندگان
چکیده
Computer aided modeling and simulation of complex physical systems, using components from multiple domains, such as electrical, mechanical, and hydraulic, have in recent years witnessed a significant growth of interest. Generalpurpose simulation tools, e.g., Simulink, using block diagrams and causal connections have dominated the area for years. However, in the last decade novel languages, (e.g., Modelica[1], gPROMS[2], and VHDL-AMS[3]) based on acausal modeling using Differential Algebraic Equations (DAEs), have evolved. We call these kind of languages Equation-based Object-Oriented (EOO). Type Safety of Equation-Based Object-Oriented Modeling Languages
منابع مشابه
Thesis Proposal Type Safety of Equation-Based Object-Oriented Languages
During the past two decades, a new kind of object-oriented language based on differential-algebraic equations has emerged. Examples of such languages are Modelica, gPROMS, and VHDL-AMS. This kind of language, which we call equation-based object-oriented (EOO), enables new possibilities of modeling and simulation of complex dynamic physical systems. However, the unusual language semantics result...
متن کاملAssociation of Non-Organizational Factors and Occupational Accidents: A Field Study based on Structural Equation Modeling
Background: Non-organizational or non-occupational factors are among the most important risk factors that significantly influence the emergence of occupational accidents. This study aimed to investigate the association between non-organizational factors and occupational accidents. Materials and Methods: In this descriptive study the structural equation modeling was applied on the data that was...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملTowards Run-time Debugging of Equation-based Object-oriented Languages
The development of today’s complex products requires advanced integrated environments and modeling languages for modeling and simulation. Equation-based object-oriented declarative (EOO) languages are emerging as the key approach to physical system modeling and simulation. The increased ease of use, the high abstraction and the expressivity of EOO languages are very attractive properties. Howev...
متن کامل